Định Nghĩa Bài Toán Điều Kiện Biên
Một bài toán điều kiện biên bậc hai chuẩn bao gồm một phương trình vi phân được xác định trên khoảng $[a, b]$, nơi trạng thái của hệ thống bị cố định tại cả hai đầu. Điều này được biểu diễn toán học như sau:
$y^{\prime \prime}=f(x, y, y^{\prime}), \quad \text { với } a \leq x \leq b$
với các điều kiện biên Dirichlet:
$y(a)=\alpha \quad \text { và } \quad y(b)=\beta$
Khác với các bài toán giá trị ban đầu (IVPs), cần có $y(a)$ và $y'(a)$ tại một điểm duy nhất, các bài toán điều kiện biên (BVPs) xác định $y$ tại $a$ và $b$. Chúng ta không còn biết "độ dốc ban đầu" $y'(a)$; thay vào đó, chúng ta phải xác định một quỹ đạo mà "nối các điểm" sao cho thỏa mãn phương trình điều khiển trên toàn miền bên trong.
Sự Tồn Tại và Duy Nhất (Định Lý 11.1)
Trong khi định lý Picard–Lindelöf cung cấp tính duy nhất cục bộ cho các bài toán giá trị ban đầu (IVPs), các bài toán điều kiện biên (BVPs) lại bị chi phối bởi hành vi toàn cục. Ngay cả một phương trình vi phân tuyến tính đơn giản cũng có thể không có nghiệm, chỉ có một nghiệm duy nhất, hoặc vô số nghiệm tùy thuộc vào độ dài miền $(b-a)$. Một nghiệm duy nhất được đảm bảo nếu:
- $f, f_y, \text{ và } f_{y'}$ liên tục trên miền.
- $f_y > 0$ (Điều này hoạt động như một "lực phục hồi" đảm bảo nghiệm không phát triển ra vô hạn).
- $|f_{y'}|$ bị chặn bởi hằng số $M$.
Ứng Dụng Thực Tế: Độ Vệnh Cấu Kiện
Xét một thanh cấu trúc có chiều dài $l$ chịu tải trọng đều $q$ và lực kéo ngang $S$. Độ vênh $w(x)$ được điều khiển bởi:
$\frac{d^2 w}{d x^2}(x)=\frac{S}{E I} w(x)+\frac{q x}{2 E I}(x-l)$
Với các điều kiện biên $w(0)=0$ và $w(l)=0$. Ở đây, hai đầu của thanh được neo cố định, và chúng ta phải tìm đường cong $w(x)$ mô tả hình dạng vật lý của thanh dưới tác dụng của ứng suất.